<html>
<head><meta charset="utf-8"><title>lazy normalization in chalk · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/lazy.20normalization.20in.20chalk.html">lazy normalization in chalk</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="175528528"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/lazy%20normalization%20in%20chalk/near/175528528" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/lazy.20normalization.20in.20chalk.html#175528528">(Sep 12 2019 at 13:25)</a>:</h4>
<p>So I'm starting this topic to try and log some intermediate thoughts. </p>
<p>I've been thinking a lot about lazy normalization in chalk since <span class="user-mention" data-user-id="129457">@Florian Diebold</span> opened <a href="https://github.com/rust-lang-nursery/chalk/issues/234" target="_blank" title="https://github.com/rust-lang-nursery/chalk/issues/234">chalk#234</a>. I just posted a <a href="https://github.com/rust-lang/chalk/issues/234#issuecomment-530823193" target="_blank" title="https://github.com/rust-lang/chalk/issues/234#issuecomment-530823193">new comment here</a> about the interaction of lazy norm and floundering with the "on demand" API changes. In particular, I wanted to try and ensure that we never request "all impls" of a trait (or, at least, not outside coherence), but chalk's existing approach to lazy norm is a complication there.</p>



<a name="176410939"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/lazy%20normalization%20in%20chalk/near/176410939" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/lazy.20normalization.20in.20chalk.html#176410939">(Sep 23 2019 at 21:22)</a>:</h4>
<p><span class="user-mention" data-user-id="131694">@scalexm</span> I'm interested to hear what you think about <a href="https://github.com/rust-lang/chalk/issues/234#issuecomment-530823193" target="_blank" title="https://github.com/rust-lang/chalk/issues/234#issuecomment-530823193">the lazy norm desugaring I proposed here</a>. I'm sort of planning to pursue implementing it a bit as an experiment. It seems increasingly important to be able to know the "self type" we are looking for.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>